Steila, Silvia: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS

AUDRITO, GIORGIO, STEILA, SILVIA

Journal:

Journal of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 401 KB

english, 2017

2

A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM

OLIVA, PAULO, STEILA, SILVIA

Journal:

Journal of Symbolic Logic

Year:

2018

Language:

english

File:

PDF, 211 KB

english, 2018

3

ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS

JÄGER, GERHARD, STEILA, SILVIA

Journal:

Journal of Symbolic Logic

Year:

2018

Language:

english

File:

PDF, 288 KB

english, 2018

4

An intuitionistic version of Ramsey's Theorem and its use in Program Termination

Berardi, Stefano, Steila, Silvia

Journal:

Annals of Pure and Applied Logic

Year:

2015

Language:

english

File:

PDF, 1.26 MB

english, 2015

5

An analysis of the Podelski–Rybalchenko termination theorem via bar recursion

Berardi, Stefano, Oliva, Paulo, Steila, Silvia

Journal:

Journal of Logic and Computation

Year:

2015

Language:

english

File:

PDF, 259 KB

english, 2015

6

Reverse mathematical bounds for the Termination Theorem

Steila, Silvia, Yokoyama, Keita

Journal:

Annals of Pure and Applied Logic

Year:

2016

Language:

english

File:

PDF, 607 KB

english, 2016

7

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 10185 ||

Gopal, T.V., Jäger, Gerhard, Steila, Silvia

Year:

2017

Language:

english

File:

PDF, 17.71 MB

english, 2017

8

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 10185 || Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis

Gopal, T.V., Jäger, Gerhard, Steila, Silvia

Year:

2017

Language:

english

File:

PDF, 232 KB

english, 2017

9

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 10185 || On Complexity of Total Vertex Cover on Subcubic Graphs

Gopal, T.V., Jäger, Gerhard, Steila, Silvia

Year:

2017

Language:

english

File:

PDF, 313 KB

english, 2017

10

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 10185 || Counting Minimal Dominating Sets

Gopal, T.V., Jäger, Gerhard, Steila, Silvia

Year:

2017

Language:

english

File:

PDF, 279 KB

english, 2017

11

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 10185 || Fast Searching on Cartesian Products of Graphs

Gopal, T.V., Jäger, Gerhard, Steila, Silvia

Year:

2017

Language:

english

File:

PDF, 1.16 MB

english, 2017

12

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 10185 || Covering Polygons with Rectangles

Gopal, T.V., Jäger, Gerhard, Steila, Silvia

Year:

2017

Language:

english

File:

PDF, 433 KB

english, 2017

13

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 10185 || $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations

Gopal, T.V., Jäger, Gerhard, Steila, Silvia

Year:

2017

Language:

english

File:

PDF, 521 KB

english, 2017

14

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 10185 || On the Maximum Weight Minimal Separator

Gopal, T.V., Jäger, Gerhard, Steila, Silvia

Year:

2017

Language:

english

File:

PDF, 341 KB

english, 2017

15

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 10185 || Algorithmic Aspects of the Maximum Colorful Arborescence Problem

Gopal, T.V., Jäger, Gerhard, Steila, Silvia

Year:

2017

Language:

english

File:

PDF, 291 KB

english, 2017

16

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 10185 || From Nonstandard Analysis to Various Flavours of Computability Theory

Gopal, T.V., Jäger, Gerhard, Steila, Silvia

Year:

2017

Language:

english

File:

PDF, 328 KB

english, 2017

17

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 10185 || Mediated Population Protocols: Leader Election and Applications

Gopal, T.V., Jäger, Gerhard, Steila, Silvia

Year:

2017

Language:

english

File:

PDF, 270 KB

english, 2017

18

RAMSEY’S THEOREM FOR PAIRS AND K COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC

BERARDI, STEFANO, STEILA, SILVIA

Journal:

Journal of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 228 KB

english, 2017

19

The strength of SCT soundness

Frittaion, Emanuele, Pelupessy, Florian, Steila, Silvia, Yokoyama, Keita

Journal:

Journal of Logic and Computation

Year:

2018

Language:

english

File:

PDF, 589 KB

english, 2018